--- This is an undocumented module
module tests.comp.Issue277a where

class Bar c

-- this works
-- foo :: (forall b. Bar b => b -> b) -> (forall a. a -> a)
-- this crashed in code generation
foo :: (forall a. Bar a => a -> a) -> (forall a.a -> a)
foo f = foo f 

gid :: (∀ a. Bar a => a -> a) -> (∀ a. Bar a => a -> a)
gid f = f 

main = println "Compiled, ok"